Espace de Schwartz pour la transformation de Fourier hypergéométrique

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

De la transformation de prédicats à la transformation de programmes

Les transformateurs de prédicats ont été introduits par Dijkstra et ont permis de fonder la théorie des preuves de programmes et la théorie de l’affinement des systèmes d’actions. Ce texte analyse le lien existant entre les transformateurs de prédicats et les systèmes d’actions affinés. Les hypothèses d’équité sont prises en compte et une uniformisation de la présentation permet de démontrer le...

Recherches pour la détermination du degré des propriétés antigéniques de quelques souches vaccinales du virus de la maladie de Newcastle administrées par voie oculaire à des poulets

Séro-agglutination rapide et macroscopique pour la recherche d'anticorps de la Fièvre Q. chez les animaux

Amélioration de la performance de l'analyse de la sémantique latente pour des corpus de petite taille

SLVM ALVM Nom du corpus SLVM ALVM Blanche Neige 0.73 0.68 Cendrillon 0.62 0.58 La Belle au Bois Dormant 0.71 0.64 Le Petit Chaperon Rouge 0.38 0.34 Log(tf+1) x Idf Tf x Idf Tfc Ltc Log(tf+1)/Entropie de Shannon Tf x Idf Log(tf+1) x Idf Tfc Ltc Log(tf+1)/Normal Le Petit Poucet 0.47 0.50 (a) (b) ALVM : Avec l’utilisation de la liste de mots vides. SLVM : Sans l’utilisation de la liste de mots vid...